-
1 схема доказательства
Русско-английский большой базовый словарь > схема доказательства
-
2 схема доказательства
Русско-английский новый политехнический словарь > схема доказательства
-
3 схема доказательства
Русско-английский военно-политический словарь > схема доказательства
-
4 доказательство
Русско-английский словарь по информационным технологиям > доказательство
-
5 страничная корректура
Русско-английский словарь по информационным технологиям > страничная корректура
-
6 наглядное доказательство
Русско-английский большой базовый словарь > наглядное доказательство
-
7 строгое доказательство
-
8 доказательство
1. proof2. evidenceБизнес, юриспруденция. Русско-английский словарь > доказательство
-
9 представить доказательства
Русско-английский большой базовый словарь > представить доказательства
-
10 привести доказательства
Русско-английский военно-политический словарь > привести доказательства
-
11 решение в аналитическом виде
нормализованная форма; нормализованный вид — normalized form
Русско-английский большой базовый словарь > решение в аналитическом виде
-
12 ветвящееся доказательство
Information technology: tree form proofУниверсальный русско-английский словарь > ветвящееся доказательство
-
13 доказательство в виде дерева
Mathematics: tree form proofУниверсальный русско-английский словарь > доказательство в виде дерева
-
14 доказательство в форме дерева
Information technology: tree form proofУниверсальный русско-английский словарь > доказательство в форме дерева
-
15 корректура формы
Polygraphy: form proof -
16 правка формы
Polygraphy: form proof -
17 без доказательства
1. take for granted2. for grantedсчитать доказанным; принимать без; доказательства — take as granted
Русско-английский большой базовый словарь > без доказательства
-
18 приводить
reduce, reduce to, bring, cite, deduce, list, adduce, enter• Были приведены дальнейшие аргументы, показавшие, что... - Further arguments were given which showed that...• Было бы легко привести значительно больше примеров... - It would be easy to give many more examples of...• В основном, различные подходы приводят к... - Different approaches will, in general, lead to...• В свою очередь это может привести к тому, что... - This in turn can lead to...• В таблице 1 мы приводим вместе все данные относительно... - In Table 1 we summarize the...• В этом приложении мы приводим результаты... - In this appendix we present the results of...• Все эти данные приводили к очевидному требованию, что... - All this evidence led to a clear requirement that...• Дальнейшее рассуждение затем привело бы к идее... - Further argument would then lead to the idea of...• Данная процедура может быть продолжена, она приводит к... - The procedure can be continued, yielding...• Здесь мы приводим другой пример (чего-л). - We give here another example of...• Здесь мы приводим некоторые формулы для... - Неге we give some formulae for...• Исследование каждого случая отдельно приводит к... - Examination of each individual case leads to...• Можно привести еще одно замечание. - One further observation may be made.• Мы можем привести геометрическую интерпретацию для... -It is possible to give a geometric interpretation of...• Мы не можем привести здесь полный ответ. - We cannot give a complete answer here.• Мы не приводим это рассуждение со всеми подробностями по следующим причинам. - We do not present this argument in detail for the following reasons.• Мы приводим ниже значения для... - We quote below the values of...• Мы теперь приведем приложение уравнения (5). - We now give an application of (5).• Это привело нас к предложению, что... - We are led to the suggestion that...• Наши рассуждения в предыдущем параграфе могли бы привести нас к предположению, что... - Our work in the previous section might lead us to suspect that...• Однако здесь можно привести очень грубый довод. - A very rough reason, however, can be given here.• Описанный здесь метод всегда приводит... - The procedure described here always yields...• Перед тем как продолжить приводить примеры, мы приведем важное замечание, что... - Before proceeding to give examples, we make the important observation that...• Подобные повреждения могут привести к потере... - Such injuries can result in a loss of...• Понятно, что только один этот процесс не мог бы привести к... - Clearly such a process alone could not lead to...• Предыдущее обсуждение приводит к идее, что... - The preceding discussion leads to the idea that...• Приведем более полное доказательство, данное Гильбертом [2]. - A fuller proof, given by Hilbert [2], is as follows.• Приведем исключения, которые указывает Смит [1]. - Smith [1] points out certain exceptions as follows.• Приведем некоторый основной критерий для... - Let us list some major criteria for...• Приведем соответствующие численные величины:... - The corresponding numerical values are as follows:...• Приведем теперь пример, в котором... - We now give an example in which...• Процесс приводит к замене в... - The process leads to a change in...• Следовательно, мы обязаны попытаться развить теорию, которая приводит к... - Hence, we must try to develop a theory that leads to...• Смит [1] приводит убедительный пример существования... - Smith [l] makes a persuasive case for the existence of...• Сначала мы приведем некоторый дополнительный материал относительно... - We begin with some additional material relating to...• Сначала мы приведем один результат из... - We first quote a result from...• Такая практика приводит к серьезным недоразумениям. - This practice leads to serious confusion.• Тем не менее эта формальная работа привела к конкретному результату. - Nevertheless, this formal work has produced a concrete result. I• Тем самым нас довольно настойчиво приводит к идее, что... - This suggests quite strongly that...• Теперь мы приведем некоторые экспериментальные данные относительно... - We shall now give some experimental data concerning...• Теперь мы приведем список наиболее важных тождеств, включающих... - We shall now list the most important identities involving...• Теперь мы приведем явную характеристику... - We now give an explicit characterization of...• Теперь приведем несколько конкретных примеров. - A few concrete examples are in order.• Чтобы привести еще более простой пример, мы можем рассмотреть... - То take an even simpler example, we can consider...• Элегантное доказательство, которое мы здесь приводим, в основном принадлежит Гильберту. - The elegant proof we give is essentially due to Hilbert.• Эти кажущиеся тривиальными результаты приводят к... - These seemingly trivial results lead to...• Эти результаты мы приводим в таблице 1 для трех значений г. - The results are set out in Table 1 for three values of r.• Это выражение можно привести к более удобному виду. - This expression can be put in a more convenient form.• Это доказательство слишком сложное, чтобы приводить его здесь. - The proof is too complicated to give here.• Это естественным образом приводило к различным схемам для... - It led naturally to various schemes for...• Это заключение базируется на тех же самых идеях, которые приводят к... - This conclusion is based on the same ideas that lead to...• Это могло бы также привести к лучшему пониманию... - This could also lead to a better understanding of...• Это не приведет к ошибке, потому что... - This will not give rise to confusion because...• Это не приводит ни к каким концептуальным трудностям, однако... - This introduces no conceptual difficulties, but...• Это нестрогое рассуждение приводит нас к... - This crude argument leads to...• Это позволяет нам привести уравнение (1) к следующему виду... - This enables us to reduce (1) to the form...• Это привело нескольких авторов к заключению, что... - This has led several authors to believe that...• Это приводит к возникновению так называемого... - This gives rise to the so-called...• Это приводит к возрастанию... - This involves an increase in...• Это приводит к выводу, что... - This carries the implication that...• Это приводит к концепции... - This leads to a conception in which...• Это приводит к новым концепциям. - This leads to new conceptions.• Это приводит к полезным методам обращения с... - This leads to useful ways of dealing with...• Это приводит к противоречию, и, следовательно, доказательство закончено. - This gives a contradiction, and the proof is complete.• Это приводит к рассмотрению темы... - This leads into the topic of...• Это приводит к следующему определению. - This motivates the following definition.• Это приводит к тому, что известно как... - This leads to what is known as...• Это приводит нас к важному свойству... - This leads us to an important property of...• Это приводит нас к идее постулировать существование... - This leads us to postulate the existence of...• Этот результат автоматически приводит к необходимости изучения... - This result automatically leads to a study of... -
19 теорема
theorem• Более слабая форма теоремы 1 может быть выведена из... - A weaker form of Theorem 1 can be deduced from...• В следующей теореме мы устанавливаем дальнейшие свойства... - In the next theorem we obtain further properties of...• В следующей теореме рассматривается случай, в котором/ когда... - The next theorem deals with the case in which...• Важное следствие данной теоремы состоит в том, что... - An important consequence of this theorem is that...• Возвращаясь теперь к доказательству основной теоремы, мы... - Returning now to the proof of the main theorem, we...• Вышеупомянутые теоремы дают нам... - The foregoing theorems give us...• Данная теорема немедленно вытекает из... - The theorem follows at once from...• Данная теорема остается справедливой даже если... - The theorem is still true even if...• Данная теорема по-прежнему справедлива в тривиальном случае, если... - The theorem still holds in a trivial sense if...• Данная теорема принадлежит Гауссу. - This theorem is due to Gauss.• Данная теорема является непосредственным следствием... - This theorem is a direct corollary of...• Данный результат принадлежит Гауссу. Давайте сформулируем его как теорему. - This result is due to Gauss. Let us formulate it as a theorem.• Для доказательства второго утверждения теоремы мы выписываем... - То prove part (ii), we write...• Для удобства сформулируем здесь данную теорему. - We state this theorem here for convenience.• Докажем теперь обобщение теоремы 1. - We now prove a generalization of Theorem 1.• Его результаты могут быть подытожены следующей теоремой. - His results may be summed up in the following theorem.• Из теоремы 1 мы легко выводим ряд важных следствий. - From Theorem l we easily deduce a number of important consequences.• Из этих результатов мы выводим следующую важную теорему. - Prom these results we deduce the following important theorem.• Имеется хорошо известная теорема о... - There is a well-known theorem on...• Как мы увидим из дальнейшего, данная теорема является основой для... - This theorem, as we shall see, is the basis of...• Мы докажем эту теорему при дополнительном предположении, что... - We prove this theorem subject to the extra assumption that...• Мы можем сразу применить данную теорему, чтобы найти... - We can at once apply this theorem to find...• Мы можем сформулировать этот результат в виде теоремы. - We can state the result as a theorem.• Мы можем, конечно, применить теорему 1 к случаю, где/ когда... - We can, of course, apply Theorem 1 to the case where...• Мы надеемся доказать подобную теорему, хотя, возможно, и при дополнительных ограничениях. - We expect to prove such a theorem, although possibly under additional restrictions.• Мы надеемся установить теорему относительно... - We hope to obtain a theorem regarding...; We hope to establish a theorem regarding...• Мы опускаем весьма громоздкое доказательство данной теоремы. - We omit the rather lengthy proof of this theorem.• Мы рассуждаем точно как при доказательстве теоремы 1. - We argue exactly as in the proof of Theorem 1.• Немедленным следствием теоремы 1 является следующее (утверждение). - An immediate consequence of Theorem 1 is the following.• Несколько более глубокая теорема была доказана Смитом [1]. - A slightly deeper theorem is proved by Smith [1].• Нижеследующая теорема дает условия, при которых... - The following theorem gives conditions under which...• Нижеследующая теорема является основой для дальнейших приложений. - The next theorem is basic to the applications that follow.• Однако следующая теорема показывает, что... - The next theorem shows, however, that...• Первая часть теоремы уже была доказана. - The first part of the theorem has already been proved.• Поверхностное прочтение данной теоремы могло бы привести к убеждению, что... - A superficial reading of this theorem might lead one to believe that...• Последнюю теорему можно расширить, чтобы включить... - The last theorem can be extended to include...• Применяя данную теорему, важно проверить, что... - When applying the theorem it is essential to check that...• Простое но полезное следствие теоремы 1 состоит в том, что... - A simple but useful consequence of Theorem 1 is that...• Рассмотрим эту теорему с точки зрения геометрии. - Let us consider this theorem geometrically.• Следующая теорема обеспечивает более глубокое понимание (чего-л). - The next theorem provides more insight into...• Следующая теорема дает другое расширение... - The following theorem gives another extension of...• Следующая теорема дает полезный тест для проверки, действительно ли... - The following theorem gives a useful test for determining whether...• Следующая теорема известна как... - The next theorem is known as...• Следующая теорема имеет приложения при изучении... - The next theorem has applications in the study of...• Следующая теорема обобщает хорошо известное свойство... - The following theorem generalizes a well-known property of...• Следующая теорема позволяет нам показать, что... - The following theorem enables us to show that...• Следующая теорема показывает как можно сделать это определение строгим. - The following theorem shows how this notion can be made precise.• Следующая теорема является прямым обобщением... - The following theorem is a direct generalization of...• Следующая теорема является ценной в этом контексте. - The following theorem is valuable in this context.• Следующие теорема и следствие являются немедленными последствиями... - The following theorem and corollary are immediate consequences of...• Следующий результат является переформулировкой теоремы Гаусса. - The following result is a restatement of Gauss's theorem.• Сначала мы обязаны доказать следующую теорему. - We must first prove the following theorem.• Сформулируем без доказательства следующую теорему относительно... - We state without proof the following theorem concerning...• Таким образом, теорема может быть переформулирована следующим образом. - Thus the theorem can be rephrased as follows.• Теорема Тейлора чрезвычайно полезна для изучения... - Taylor's theorem is extremely useful for the study of...• Теорема не сообщает ничего о... - The theorem says nothing about...• Теперь займемся доказательством этой теоремы. - We now come to the proof of the theorem.• Теперь мы доказываем важную теорему, принадлежащую Банаху. - We now prove an important theorem due to Banach.• Теперь мы можем доказать следующую теорему. - This result enables us to prove the following theorem; We are now able to prove the following theorem; With this result in hand, we can prove the following theorem; With this understanding, we can prove the following theorem; Knowing this, we can prove the following theorem; We can now prove the following theorem; We are now in a position to prove the following theorem; The following theorem is now within our reach; We are now ready for the following theorem.• Теперь мы подходим к серии теорем, касающихся... - We now come to a series of theorems concerning...(= модификации), если... - The statement of the theorem needs modification if...• Хорошо известная теорема математического анализа утверждает, что... - A well-known theorem of analysis states that...• Частным случаем этой теоремы является... - A particular case of this theorem is that...• Чтобы доказать теорему, достаточно показать, что... - То prove the theorem it is sufficient to show that...• Чтобы доказать эту теорему, во-первых, предположим, что... - То prove the theorem, suppose first that...• Чтобы доказать эту теорему, недостаточно увидеть, что... - То prove this theorem it is not enough to observe that...• Эта теорема обеспечивает нас... - This theorem provides us with...• Эти две теоремы совместно показывают, что... - These two results together show that...• Эти теоремы вполне аналогичны теоремам относительно... - These theorems are closely analogous to those concerning...• Это доказательство почти идентично доказательству последней теоремы. - The proof is almost identical with that of the last theorem.• Это и завершает доказательство теоремы. - This proves the theorem; The proof of the theorem is finished; Q. E. D.• Это свойство является следствием следующей теоремы. - This property is a consequence of the following theorem. -
20 документ, удостоверяющий личность
1) General subject: certificate of identification, certificate of identity, personal identity document, passport or other ID, document of identification, means of identification, ID document2) Law: identity paper, proof of identity, proof of your identity (контекстуальный перевод на русс. язык)3) Officialese: form of identification4) Banking: identification (владельца банковской карточки)5) Business: ID card, identification paper, identity card6) Security: identification document, identity documentУниверсальный русско-английский словарь > документ, удостоверяющий личность
См. также в других словарях:
proof of debt — United Kingdom The form (proof of debt general form) on which a creditor submits details of its claim in a liquidation. In an administration, there is no prescribed proof of debt form but in practice administrators adopt the format of the proof… … Law dictionary
proof of claim — form filed by a creditor setting out its claims against a bankruptcy debtor (Glossary of Common Bankruptcy Terms) A form used to file a claim. The form requires the creditor to enter information to describe the basis of his claim. also see claim… … Glossary of Bankruptcy
proof of claim — proof of claim: a written statement that sets forth a claim against a bankrupt debtor or the probate estate of a deceased debtor Merriam Webster’s Dictionary of Law. Merriam Webster. 1996. proof of claim … Law dictionary
Proof theory — is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively defined data structures such as plain lists, boxed… … Wikipedia
Proof by assertion — is a logical fallacy in which a proposition is repeatedly restated regardless of contradiction. Sometimes this may be repeated until challenges dry up, at which point it is asserted as fact due to its not being contradicted (argumentum ad… … Wikipedia
Proof of concept — is a short and/or incomplete realization (or ) of a certain method or idea(s) to demonstrate its feasibility, or a demonstration in principle, whose purpose is to verify that some concept or theory is probably capable of exploitation in a useful… … Wikipedia
Proof by verbosity — is a term used to describe an excessively verbose mathematical proof that may or may not actually prove the result. Such proofs are most often presented by students who don t fully grasp the concepts they are writing about. Students presenting… … Wikipedia
Proof-theoretic semantics — is an approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, as in Tarskian approaches to semantics, but in the role that the proposition or logical… … Wikipedia
Proof by example — (also known as inappropriate generalisation ) is a logical fallacy whereby one or more examples are claimed as proof for a more general statement.This fallacy has the following argument form::I know that x in X has the property P.:Therefore, all… … Wikipedia
proof of debt - general form — Published on 27 Feb 2009 England, Wales The form on which a creditor submits details of its claim in a liquidation … Law dictionary
Proof of insurance — (POI) is any type of documentation that a person can provide to another individual proving that the person has valid insurance with an insurance company.The most common form of a POI is a paper card provided by the insurance company listing… … Wikipedia
